Diese Audiobeitrag wird von der Universität Erlangen-Nürnberg präsentiert.

The

B���nd 수가

Bevor ich da wieder ansetze, vor einem Satz von Abraun, also ungefähr in der Mitte der letzten Sitzung,

거

TA

erinnere ich noch mal kurz an ein paar Dinge, die da gebraucht werden.

quark

Abraun-Modelle waren also Modelle, die als Grundbereich dieses Abraun-Universum Us sibling过

a

Keine Abkürzung.

Also, uSigma ist die Menge der gesroy llam pengen Sigmaterme, der Sigma-Therme ohne Variable.

Und darüber leben unsere Modelle.

Die Funktionssymbole werden interpretiert,

als per Wารung terrenbilde呎useit,

Prädikatensymbole sind unrestringiert.

Entscheidend war

Das sogenannte Grundinstanz-Lämmer.

Was ist am untersten?

Initially, das Peachy Brown-Che filling drohe davon.

Und es sagt etwas darüber aus wann M wet universellen Abschluss von Phi erfüllt.

Und das ist genau dann der Fall...

denn m Live Phiasigma erfüllt, für jede Grundinstanz Phiasigma.

Das liegt natürlich genau darin, dass Grundinstanzen darin bestehen, dass die geschlossene проблемы

für die Variablen einsetzen und die Bewohner des Grundbereichs, der gerade die geschlossenen

Making-of-Formeln sind, das ist also jetzt keine richtige Überraschung dieses Levels.

Und diese соответz типische Chatten, die wir hier nun nenne, die Email, Denken und

das ist nicht völlig gerechtfertigt, würde ich sagen, aber so in etwa,

ist das der Kern der Erbrauntheorie. Der sagt jetzt Folgendes aus.

Wir nehmen uns her eine Menge Großvieh von quantorenfreien Formeln und das unterstreichen

wir dick, denn das ich das vergessen hatte, war das was letztes mal die Entgleisung verursacht hat.

Dann sind folgende Aussagen äquivalent.

Erstens die Formelnänge, die ich kriege, indem ich von diesem Großvieh den

universellen Abschluss bilde, das heißt also in jeder darin vorkommenden Formel

alle freien Variablen explizit all quantifiziere.

Diese Formelnänge ist erfüllbar.

Zweitens.

Erfüllbarkeit heißt ja, es gibt ein Modell, das die Formelnänge erfüllt.

Im zweiten Punkt verschärfen wir das, es gibt ein Erbran-Modell,

das die Formelnänge erfüllt, das heißt M erfüllt für alle Vieh.

Und drittens reduzieren wir das Ganze auf Aussagenlogik und zwar

nehmen wir uns her dieses Groß e von Phi, ich schreibe das mit zu meiner Recall-Tafel hier dazu.

Also e von Phi ist die Menge aller Viehsigma, sodass dieses Kleinvieh aus Großvieh stammt,

also eine Formel aus meiner Menge ist und Physik mal eine Grundinstanz ist,

sprich also keine freien Variablen enthält.

Hier haben wir also die Menge der Grundinstanzen von Gros Phi.

aus dem Beginn als Ration.

Das wird wirklich ein

wieler Bismarck, ist dann

ganz polar.